Chapitre IV – Structures secondaires et structures accessoires

Structures et Algorithmes Aléatoires

2. Soit A = {aij}1≤i≤n,1≤j≤m une matrice m × n dont les éléments sont à valeurs dans {0, 1}. Soit b = {bj}1≤j≤m un vecteur colonne dont les éléments sont à valeurs dans {−1,+1} et soit c = {ci}1≤i≤n le vecteur colonne défini par c = Ab. On pose ||c||∞ = ||Ab||∞ = max 1≤i≤n |ci| . On choisit b aléatoire: b1, . . . , bn sont des variables aléatoires indépendantes prenant les deux valeurs dans −1 ...

Structures algébriques en logique et concurrence

In this work we shall synthesize the research activity we have accomplished since we received the PhD title at the University of Québec in Montréal. These researches have been developed at and made possible through several research institutions that we would like to thank : the BRICS at Aarhus University, the PIMS and the Department of Computer Science of Calgary University, the LaBRI at Bordea...

Formalisation sémantique et vérification de structures composites

Ce rapport introduit les structures composites dans le contexte du profile OMEGA UML pour représenter la structure hiérarchique des systèmes complexes, comme les systèmes temps-réel embarqués. Comme la norme UML est sous-spécifiée pour préserver la généralité du langage, on se propose de définir un ensemble expressif de notions et de r` egles pour la bonne modélisation et cohérence de structure...

The Comparison of the IDA and ET on Steel Structures Rehabilitated by Isolators

Endurance time (ET) method is a relatively new performance-based earthquake method for structural evaluation and design. In this method, the structure is subjected to a gradually intensifying accelorogram(s) and its performance is assessed based on the maximum time duration that it can meet the specified performance objectives. Using moment-resisting and braced frames which are rehabilitated by...

Part IV Topology and Algebraic Structures